#ifndef CPROVER_MUSKETEER_VERSION_H
#define CPROVER_MUSKETEER_VERSION_H

#define MUSKETEER_VERSION "0.37"

#endif // CPROVER_MUSKETEER_VERSION_H
